1. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
E75A26
2002
2. AML--The Agent Modeling Language
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intelligent agents (Computer software) ; Computer software ; Development. ; Programming languages (Electronic computers) ;
3. Code craf
Author: / Pete Goodliffe
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming.,Computer software--Development,Programming languages (Electronic computers)
4. Code craft
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programming. ; Programming languages (Electronic computers) ; Computer software ; Development. ;
5. Computer-aided design of language processors
Author: Shangin, V. F.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
Classification :
QA
76
.
76
.
T83
S53
6. DIANA An Intermediate Language for Ada
Author: edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
73
.
A35
E358
1983
7. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
Author: Joao Leite...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
Classification :
QA
76
.
L28
Vol
.
2990
8. Deductive Software Verification – The KeY Book
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامهنویسی کامپیوتر,مهندسی نرم افزار
Classification :
E-Book
,
9. Design Patterns in Modern C++
Author: /by Dmitri Nesteruk.,Nesteruk, Dmitri.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Programming languages (Electronic computers).,Software engineering.,Computer programming.,C++ (Computer program language)
Classification :
QA76
.
73
.
C153
D56
2018
10. Domain-specific modelin
Author: / Steven Kelly, Juha-Pekka Tolvanen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers),Computer software--Development
11. Domain-specific modeling
Author: / Steven Kelly, Juha-Pekka Tolvanen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Programming languages (Electronic computers),Computer software- Development
Classification :
QA76
.
7
.
K45
2008
12. Essential.NET
Author: / Don Box, with Chris Sells
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
M52
,
B69
2003
13. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
14. Formal specification and software development
Author: Bjorner, Dines, 7391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer software -- Development,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
15. High- Level language and software applications
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming languages (Electronic computers) ► Computer software
Classification :
H638
16. High-level languages and software applications
Author: William J. Birnes, editor
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Programming languages (Electronic computers),Computer software
Classification :
QA
،
76
,.
7
،
H515
،
1989
17. High-level languages and software applications
Author: William J. Birnes, editor
Library: Central Library and Documentation Center (Kerman)
Subject: ، Programming languages )Electronic computers(,، Computer software
Classification :
QA
76
.
7
.
H515
1989
18. High-level languages and software applications
Author: William J. Birnes, editor
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer software
Classification :
QA
76
.
7
.
H515
1989
19. High-level languages and software applications
Author: William J. Birnes, editor
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(,، Computer software
Classification :
QA
76
.
7
.
H515
1989
